Play with this app and build some proofs in natural deduction style.Clicking on a formula automatica
看更多 »
Natural Deduction
1
Play with this app and build some proofs in natural deduction style.Clicking on a formula automatica
看更多 »